\begin{tabbing}
(\=(((InstConcl [$\lambda$$j$.if ($j$ =$_{0}$ 0) then $i$ else $i$+1 fi ]) \+
\\[0ex]CollapseTHENA (Auto'))$\cdot$) 
\\[0ex]
\\[0ex]CollapseTHEN (((RepUR ``increasing`` ( 0)$\cdot$) 
\\[0ex]CollapseTHEN (MaAuto$\cdot$))$\cdot$))$\cdot$
\-
\end{tabbing}